$\forall$${\it the\_w}$:World, $x$, $i$:Id. ($x$ initially $i$) $\in$ vartype($i$;$x$)